منابع مشابه
PROOF on Demand
The Parallel ROOT [1] Facility, PROOF [2], is an extension of ROOT enabling interactive analysis of large sets of ROOT files in parallel. PROOF on Demand, PoD [3], is a set of utilities, which allows starting a PROOF cluster at user request on any resource management system. Installation is simple and doesn’t require administrator privileges, and all the processes run in user space. PoD gives u...
متن کاملPROOF on Demand
PROOF [1] is an extension of ROOT [2] enabling interactive analysis of large sets of files in parallel on clusters of computers. Normally users get PROOF provided by administrators as a pre-installed shared cluster. To avoid certain disadvantages of “static” PROOF clusters PoD [3] has been developed. PROOF on Demand is a tool-set, which dynamically sets up a PROOF cluster at user request, on an...
متن کاملLakatos and Hersh on Mathematical Proof
مفهوم اثبات در چند دهۀ اخیر مناقشهآمیز شده است. به طوری که افراد نظریه‌های مختلفی دربارۀ چیستی اثبات ارائه دادهاند. لاکاتوش و هرش از جملۀ این افراد هستند. نظریه‌های این دو فیلسوف شباهتها و اختلافات قابل توجهی دارند. به نظر می‌‌رسد که با مقایسه و بررسی نقادانۀ این دو نظریه فهم بهتری از مفهوم اثبات ریاضیاتی به دست خواهد آمد. دو وجه شباهت مهم بین این دو نظریه عبارتند از: دوگانه‌انگاری در اثبات ...
متن کاملCryptographically Sound Security Proof for On-Demand Source Routing Protocol EndairA
We present the first cryptographically sound security proof of a routing protocol for mobile ad-hoc networks. More precisely, we show that the route discovery protocol does not output a non-existing path under arbitrary active attacks, where on a non-existing path there exists at least one pair of neighboring nodes without communication connection during the run of the route discovery protocol....
متن کاملA New Proof of FDR Control Based on Forward Filtration
For multiple testing problems, Benjamini and Hochberg (1995) proposed the false discovery rate (FDR) as an alternative to the family-wise error rate (FWER). Since then, researchers have provided many proofs to control the FDR under different assumptions. Storey et al. (2004) showed that the rejection threshold of a BH step-up procedure is a stopping time with respect to the reverse filtration g...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Physics: Conference Series
سال: 2010
ISSN: 1742-6596
DOI: 10.1088/1742-6596/219/7/072009